Перевод: с английского на русский

с русского на английский

Horn clause

  • 1 Horn clause

    English-Russian base dictionary > Horn clause

  • 2 horn clause

    Horn clause — хорновская формула; формула Хорна; хорновское выражение; хорновское предложение

    English-Russian dictionary of Information technology > horn clause

  • 3 horn clause

    English-Russian big medical dictionary > horn clause

  • 4 Horn clause

    Большой англо-русский и русско-английский словарь > Horn clause

  • 5 Horn clause

    1) Компьютерная техника: дизъюнкт Хорна
    3) Программирование: хорновский дизъюнкт

    Универсальный англо-русский словарь > Horn clause

  • 6 horn clause

    1) Компьютерная техника: дизъюнкт Хорна
    3) Программирование: хорновский дизъюнкт

    Универсальный англо-русский словарь > horn clause

  • 7 Horn clause

    хорновская формула, формула Хорна, хорновское выражение, хорновское предложение

    English-Russian dictionary of computer science and programming > Horn clause

  • 8 horn clause

    Англо-русский словарь нефтегазовой промышленности > horn clause

  • 9 horn clause

    Англо-русский словарь по авиации > horn clause

  • 10 horn clause

    Англо-русский словарь компьютерных и интернет терминов > horn clause

  • 11 horn clause

    English-Russian dictionary of terms that are used in computer games > horn clause

  • 12 Horn clause

    хорновская формула; хорновское выражение; хорновское предложение; дизъюнкт Хорна

    English-Russian information technology > Horn clause

  • 13 Horn clause

    English-Russian dictionary of computer science > Horn clause

  • 14 horn clause

    English-Russian dictionary of computer science > horn clause

  • 15 Horn clause logic

    Универсальный англо-русский словарь > Horn clause logic

  • 16 Horn clause logic

    English-Russian electronics dictionary > Horn clause logic

  • 17 Horn clause logic

    The New English-Russian Dictionary of Radio-electronics > Horn clause logic

  • 18 binary Horn clause

    Универсальный англо-русский словарь > binary Horn clause

  • 19 universality of Horn clause logic

    Универсальный англо-русский словарь > universality of Horn clause logic

  • 20 clause

    [klɔ:z]
    abandonment clause оговорка об отказе от права acceleration clause юр. пункт о сокращении срока исполнения обязательства acceleration clause условие о сокращении срока additional clause дополнительное условие additional clause дополнительный параграф (документа) adjustment clause оговорка об урегулировании arbitral clause статья об арбитраже arbitral clause условие арбитража arbitration clause арбитражная оговорка arbitration clause условие о передаче в арбитраж возникающих из договора споров at clause вчт. декларация положения attestation clause надпись о засвидетельствовании оформления документа average clause страх. оговорка об авариях average clause пункт о пропорциональном распределении страховой ответственности bearer clause пункт о предъявителе beneficiary clause пункт, определяющий бенефициария benefit clause юр. статья о привилегии best efforts clause юр. статья о наилучших условиях break clause пункт о скидке с цены в случае покупки определенного количества товара breakage clause пункт о возмещении убытка за поломку cancellation clause оговорка об аннулировании cancellation clause оговорка об отмене capital clause оговорка об основном капитале case clause вчт. выбирающее предложение clause вчт. дизъюнкт clause клаузула clause оговорка clause параграф clause вчт. предложение clause грам. предложение (являющееся частью сложного предложения); principal (subordinate) clause главное (придаточное) предложение clause пункт clause статья, пункт; клаузула (в договоре); escape clause дип. пункт договора, предусматривающий отказ от взятого обязательства clause статья clause условие clause утверждение clause of denunciation пункт о денонсации claw-back clause оговорка о возмещении затрат на увеличение государственных пособий путем соответственного увеличения налогов coinsurance clause оговорка о совместном страховании competition clause пункт о конкуренции confidentiality clause оговорка о конфиденциальности conscience clause оговорка о возможности несоблюдения закона по религиозным принципам continuation clause страх. оговорка о пролонгации contract clause статья контракта contracting-out clause оговорка об аннулировании контракта contractual penalty clause оговорка о неустойке за невыполнение договора cost-of-living clause оговорка об индексации заработной платы cover clause оговорка о покрытии currency clause валютная оговорка cutoff clause оговорка об ограничении damages clause оговорка о возмещении убытков data clause вчт. предложение описания данных deductible clause страх. пункт о франшизе delivery clause оговорка о доставке denunciation clause пункт о денонсации discharging clause суд. оговорка о разгрузке discharging clause суд. пункт о разгрузке discovery limitation clause пункт, ограничивающий разглашение документов door-to-door clause пункт о страховании путем поквартирного обхода double domicile clause условие двойного домицилия editing clause вчт. оператор редактирования empty clause вчт. пустой дизъюнкт enacting clause вступительная формула закона, преамбула закона enacting clause постановляющая часть закона enacting: enacting вводящий, постановляющий; enacting clause преамбула закона, конвенции errors and omissions clause юр. пункт об ошибках и пропусках escalation clause оговорка о скользящих ценах escalator clause оговорка о скользящих ценах escalator clause пункт о повышении заработной платы escalator: escalator эскалатор; escalator clause условие "скользящей шкалы" (в коллективных договорах) clause статья, пункт; клаузула (в договоре); escape clause дип. пункт договора, предусматривающий отказ от взятого обязательства escape clause клаузула возможности отказа escape clause оговорка об обстоятельствах, дающих право на освобождение от договорной обязанности; пункт договора, освобождающий от ответственности escape clause оговорка об обстоятельствах, дающих право на освобождение от договорной обязанности escape clause пункт договора, освобождающий от ответственности exchange clause валютная оговорка exclusion clause оговорка об исключении exclusive sales rights clause оговорка об исключительном праве продажи exculpatory contract clause положение контракта, освобождающее от обязательств exemption clause оговорка об ограничении ответственности exemption clause статья об освобождении от обязательств exoneration clause оговорка об освобождении от обязательств fac clause (fast-as-can clause) пункт о погрузке и разгрузке без простоев final clause окончательная оговорка final clause окончательное условие final clause окончательный пункт final: clause целевой; final clause грам. предложение цели first refusal clause оговорка о первом отказе force majeure clause оговорка о форс-мажорных обстоятельствах forfeiture clause оговорка о штрафе general clause общая оговорка gold clause золотая оговорка gold-value clause золотовалютная оговорка guarantee clause оговорка о гарантии hardship clause юр. необоснованное условие hardship clause юр. несправедливое условие hedging clause юр. пункт о страховании от потерь hold-harmless clause юр. статья договора, не содержащая ущерба для договаривающейся стороны hold-harmless clause юр. статья договора, не ограничивающая договаривающуюся сторону Horn clause дизъюнкт Хорна horn clause вчт. хорновское выражение ice clause ледовая оговорка, оговорка о ледовых обстоятельствах (в чартере) ice clause оговорка о ледовой обстановке if clause вчт. условное предложение indemnity clause оговорка о возмещении вреда, ущерба, убытков index clause юр. оговорка об индексе indexation clause оговорка об индексации interest clause оговорка о выплате процентов interest escalation clause оговорка о скользящей шкале процентов interpretation clause статья закона, излагающая значение употребленных в законе терминов irrevocable beneficiary clause безотзывное условие бенефициара justified clause вчт. оператор выравнивания legislation clause оговорка о юрисдикции legitimation clause оговорка о легитимации liability clause пункт об обязательствах liability clause пункт об ответственности life endowment clause оговорка о пожизненном материальном обеспечении loss leader clause пункт о продаже товара в убыток для привлечения покупателей machinery clause пункт договора об оборудовании maintenance clause пункт о техническом обслуживании middleman clause оговорка о посреднике monetary clause валютная оговорка most-favoured-nation clause оговорка о предоставлении стране статуса наибольшего благоприятствования multicurrency clause мультивалютная оговорка negligence clause оговорка о навигационной ошибке negligence clause оговорка об освобождении судовладельца от ответственности со стороны его служащих neutrality clause статья о нейтралитете no strike clause пункт о запрещении забастовок non-competition clause оговорка об отсутствии конкуренции noncompete clause статья о запрещении конкуренции noncompetition clause статья о запрещении конкуренции nonwarranty clause пункт о недоговорной гарантии notification clause пункт об уведомлении objects clause пункт о целях omnibus clause статья, объединяющая различные вопросы option clause бирж. оговорка об опционе optional clause факультативная оговорка optional clause факультативный пункт order clause статья приказа oversight clause пункт о надзоре parallel clause вчт. параллельное предложение paramount clause условие коносамента о превалирующем значении национального законодательства, принятого в соответствии с Брюссельской конвенцией от 1924 г. о коносаментных перевозках pari passu clause оговорка о пропорциональном распределении parity clause юр. оговорка о паритете penalty clause пункт о штрафной неустойке penalty clause штрафная оговорка, пункт о штрафной неустойке penalty clause штрафная оговорка picture clause пункт о страховании картины pre-emption clause оговорка о преимущественном праве покупки price adjustment clause пункт о регулировании цены price clause оговорка о цене clause грам. предложение (являющееся частью сложного предложения); principal (subordinate) clause главное (придаточное) предложение principal: clause грам. главный; principal clause главное предложение; principal parts of the verb основные формы глагола pro rata clause оговорка о пропорциональной компенсации reconstruction clause пункт о реконструкции redemption clause оговорка о выкупе (заложенного имущества) reemployment clause пункт о предоставлении нового места работы в случае увольнения reinstatement clause оговорка о восстановлении в правах reinstatement clause пункт о восстановлении в прежней должности remortgaging clause оговорка о перезакладывании repurchase clause оговорка об обратной покупке restraint clause оговорка об ограничении restraint clause ограничительная оговорка restriction clause оговорка об ограничении restrictive clause ограничительная оговорка restrictive clause ограничительная статья договора restrictive clause ограничительное условие salvage clause оговорка об участии страховщика в расходах по спасанию saving clause исключающая оговорка saving clause дип. статья, содержащая оговорку saving clause статья, содержащая оговорку saving: clause содержащий оговорку; saving clause статья, содержащая оговорку self-judgment clause статья о вынесении приговора самому себе serial clause вчт. последовательное предложение shrink-wrap clause оговорка об обертывании в термоусадочный материал solidarity clause статья о солидарности stabilization clause оговорка о стабилизации stable value clause оговорка об устойчивой ценности statutory preemption clause установленный законом пункт о преимущественном праве покупки strike clause оговорка о забастовке strike clause статья о забастовках (в договоре) subrogation clause пункт о суброгации subsidiary clause вспомогательная статья supplementary clause дополнительная статья supplementary clause дополнительный параграф supplementary clause дополнительный пункт tax-free covenant clause пункт договора об освобождении от налога tel quel clause оговорка в контракте, освобождающая продавца от гарантии качества товара termination clause статья контракта об условиях его прекращения testimonium clause заключительная формула документа war clause военная оговорка (в чартере) war risk clause оговорка о военных рисках warranty clause оговорка о гарантии weather permitting clause пункт о благоприятствовании погоды works-of-art clause пункт о страховании произведений искусства

    English-Russian short dictionary > clause

См. также в других словарях:

  • Horn clause — In mathematical logic, a Horn clause is a clause (a disjunction of literals) with at most one positive literal. They are named after the logician Alfred Horn, who first pointed out the significance of such clauses in 1951. Horn clauses play a… …   Wikipedia

  • Horn — may refer to: * Horn (anatomy), the pointed projection of the skin of various animals, as an organ or its material * Horn (surname)In music and sound * Horn (instrument), sometimes called a French horn, a brass musical instrument constructed of… …   Wikipedia

  • Horn (surname) — Horn is a surname, and may refer to:* Alan F. Horn * Alfred Horn (1918–2001), American mathematician ** Horn clause is a term in formal logic named after him * Alfred Aloysius Trader Horn, an African trader during the Scramble for Africa * Anton… …   Wikipedia

  • Horn-satisfiability — In formal logic, Horn satisfiability, or HORNSAT, is the problem of deciding whether a given set of propositional Horn clauses is satisfiable.A Horn clause is a clause with at most one positive literal, called the head of the clause, and any… …   Wikipedia

  • Clause (logic) — For other uses, see Clause (disambiguation). In logic, a clause is a finite disjunction of literals.[1] Clauses are usually written as follows, where the symbols li are literals: In some cases, clauses are written (or defined) as sets of literals …   Wikipedia

  • Clause De Horn — Pour les articles homonymes, voir Horn. La dénomination « clause de Horn » vient du nom du logicien Alfred Horn qui, le premier, met en évidence l’intérêt de telles clauses en 1951 dans l’article « On sentences which are true of… …   Wikipédia en Français

  • Clause de horn — Pour les articles homonymes, voir Horn. La dénomination « clause de Horn » vient du nom du logicien Alfred Horn qui, le premier, met en évidence l’intérêt de telles clauses en 1951 dans l’article « On sentences which are true of… …   Wikipédia en Français

  • Clause (Logique) — Pour les articles homonymes, voir Clause. Une clause en logique booléenne est une disjonction de littéraux. En calcul propositionnel, une clause est de la forme : où les li sont des littéraux. La clause vide, c est à dire la disjonction de 0 …   Wikipédia en Français

  • Clause de Horn — Pour les articles homonymes, voir Horn. En logique, en particulier en calcul propositionnel, une clause de Horn est une clause comportant au plus un littéral positif. Il existe donc trois types de clauses de Horn : celles qui comportent un… …   Wikipédia en Français

  • Clause (logique) — Pour les articles homonymes, voir Clause. Une clause en logique booléenne est une disjonction de littéraux. En calcul propositionnel, une clause est de la forme : où les li sont des littéraux. La clause vide, c est à dire la disjonction de 0 …   Wikipédia en Français

  • Alfred Horn — (February 17, 1918 April 16, 2001) was an American mathematician notable for his work in lattice theory and universal algebra. His 1951 paper On sentences which are true of direct unions of algebras described Horn clauses and Horn sentences,… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»